Michal Peled Ginsburg's Documents

Michal Peled Ginsburg's Documents

Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008

Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008
Read more
Model checking

Model checking
Read more
Model checking

Model checking
Read more
Sod ha-Shabbat

Sod ha-Shabbat
Read more
The Devious Book for Cats: A Parody

The Devious Book for Cats: A Parody
Read more
OpenCL Programming Guide

OpenCL Programming Guide
Read more
OpenCL Programming Guide

OpenCL Programming Guide
Read more
Tree of Souls: The Mythology of Judaism

Tree of Souls: The Mythology of Judaism
Read more
17 Lectures on Fermat Numbers: From Number Theory to Geometry

17 Lectures on Fermat Numbers: From Number Theory to Geometry
Read more
Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)

Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)
Read more
Oxide Scale Behavior in High Temperature Metal Processing

Oxide Scale Behavior in High Temperature Metal Processing
Read more
XBRL for Interactive Data: Engineering the Information Value Chain

XBRL for Interactive Data: Engineering the Information Value Chain
Read more
Advances on Practical Applications of Agents and Multiagent Systems: 9th International Conference on Practical Applications of Agents and Multiagent ... (Advances in Intelligent and Soft Computing)

Advances on Practical Applications of Agents and Multiagent Systems: 9th International Conference on Practical Applications of Agents and Multiagent ... (Advances in Intelligent and Soft Computing)
Read more
Numerical Methods in Astrophysics: An Introduction

Numerical Methods in Astrophysics: An Introduction
Read more
Aromaticity in heterocyclic compounds

Aromaticity in heterocyclic compounds
Read more
Similarity Search: The Metric Space Approach

Similarity Search: The Metric Space Approach
Read more
Discourse and Transformation in Central and Eastern Europe (Language and Globalization)

Discourse and Transformation in Central and Eastern Europe (Language and Globalization)
Read more
Assassination Operation Anthropoid 1941-1942

Assassination Operation Anthropoid 1941-1942
Read more
The Black Seasons (Jewish Lives)

The Black Seasons (Jewish Lives)
Read more
4320 Russian Modern 5 ton Truck and His Variants in Detail

4320 Russian Modern 5 ton Truck and His Variants in Detail
Read more
Potential analysis of stable processes and its extensions

Potential analysis of stable processes and its extensions
Read more
Field-Programmable Logic, Architectures, Synthesis and Applications, 4 conf., FPL '94

Field-Programmable Logic, Architectures, Synthesis and Applications, 4 conf., FPL '94
Read more
Advances in Computing and Information Technology - ACITY 2011

Advances in Computing and Information Technology - ACITY 2011
Read more
Bioinformatics Research and Development: Second International Conference, BIRD 2008, Vienna, Austria, July 7-9, 2008 Proceedings (Communications in Computer and Information Science)

Bioinformatics Research and Development: Second International Conference, BIRD 2008, Vienna, Austria, July 7-9, 2008 Proceedings (Communications in Computer and Information Science)
Read more
Trends in Network and Communications

Trends in Network and Communications
Read more
OpenGL Shading Language

OpenGL Shading Language
Read more
Quantum information

Quantum information
Read more
Managing Tourette Syndrome: A Behavioral Intervention for Children and Adults Therapist Guide (Treatments That Work)

Managing Tourette Syndrome: A Behavioral Intervention for Children and Adults Therapist Guide (Treatments That Work)
Read more
A New Jersey Anthology: A New Jersey Anthology, Second Edition

A New Jersey Anthology: A New Jersey Anthology, Second Edition
Read more